Orbifolds, Sheaves and Groupoids

We characterize orbifolds in terms of their sheaves, and show that orbifolds correspond exactly to a specific class of smooth groupoids. As an application, we construct fibered products of orbifolds and prove a change-of-base formula for sheaf cohomology.     

Axiomatic homotopy theory for operads

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.     

Lie Groupoids, Gerbes, and Non-Abelian Cohomology

We observe that any regular Lie groupoid G over a manifold M fits into an extension K G E of a foliation groupoid E by a bundle of connected Lie groups K. If F is the foliation on M given by the orbits of E and T is a complete transversal to F , this extension restricts to T, as an extension K _T G _T E _T of an étale groupoid E _T by a bundle of connected groups K _T . We break up the classification problem for regular Lie groupoids into two parts. On the one hand, we classify the latter extensions of étale groupoids by (non-Abelian) cohomology classes in a new ech cohomology of étale groupoids. On the other hand, given K and E and an extension K _T G _T E _T over T, we present a cohomological obstruction to the problem of whether this is the restriction of an extension K G E over M; if this obstruction vanishes, all extensions K G E over M which restrict to a given extension over the transversal together form a principal bundle over a group of bitorsors under K.     

On the developability of Lie subalgebroids

For a Lie groupoid G with algebroid g, one says that a subalgebroid h⊂g is developable if it can be integrated to a closed Lie subgroupoid of the universal covering groupoid of G. Under some additional hypotheses, we construct an algebroid b, depending on G and h, and prove that the developability of h is equivalent to the integrability of b. This result extends the Almeida-Molino obstruction to developability of foliations.     

Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories

We introduce the notion of a “category with path objects”, as a slight strengthening of Kenneth Brown's classical notion of a “category of fibrant objects”. We develop the basic properties of such a category and its associated homotopy category. Subsequently, we show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path objects, obtained by freely adjoining certain homotopy quotients. In a second part of this paper, we will present an application to models of constructive set theory. Although our work is partly motivated by recent developments in homotopy type theory, this paper is written purely in the language of homotopy theory and category theory, and we do not presuppose any familiarity with type theory on the side of the reader.     

Topological Representation of Sheaf Cohomology of Sites

For a site & (with enough points), we construct a topological space X(&) and a full embedding ^* of the category of sheaves on & into those on X _(&) (i.e., a morphism of toposes :Sh (X_(&)) Sh(&)). The embedding will be shown to induce a full embedding of derived categories, hence isomorphisms H^*(&,A) = H^*(X_(&), ^*A) for any Abelian sheaf A on &. As a particular case, this will give for any scheme Y a topological space X _(Y) and a functorial isomorphism between the étale cohomology H^*(Y _ét,A) and the ordinary sheaf cohomology H^*(X(_(Y),),^*A), for any sheaf A for the étale topology on Y.     

Analysis of [U‐13C6]glucose in human plasma using liquid chromatography/isotope ratio mass spectrometry compared with two other mass spectrometry techniques

The use of stable isotope labelled glucose provides insight into glucose metabolism. The ¹³C‐isotopic enrichment of glucose is usually measured by gas chromatography/mass spectrometry (GC/MS) or gas chromatography/combustion/isotope ratio mass spectrometry (GC/C/IRMS). However, in both techniques the samples must be derivatized prior to analysis, which makes sample preparation more labour‐intensive and increases the uncertainty of the measured isotopic composition. A novel method for the determination of isotopic enrichment of glucose in human plasma using liquid chromatography/isotope ratio mass spectrometry (LC/IRMS) has been developed. Using this technique, for which hardly any sample preparation is needed, we showed that both the enrichment and the concentration could be measured with very high precision using only 20 µL of plasma. In addition, a comparison with GC/MS and GC/IRMS showed that the best performance was achieved with the LC/IRMS method making it the method of choice for the measurement of ¹³C‐isotopic enrichment in plasma samples. Copyright © 2009 John Wiley & Sons, Ltd.     

The Boardman-Vogt resolution of operads in monoidal model categories

We extend the -construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed Σ-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised -construction.